#ifndef __GDT_H
#define __GDT_H

void gdt_set_gate(int num, u32int base, u32int limit, u8int access, u8int gran);
void gdt_install(void);

#endif
